$\forall$${\it loc}$:Id, $k$:Knd, $L$:Id List. @${\it loc}$: $k$ writes only members of $L$ $\in$ Realizer